λβ↓QI∀8(α`¬ ≡@
 L@∧Apπ@λα␈␈X␈}␈␈Xα@P␈␈p↓ ␈␈p∨␈`↓ ␈␈p∨␈`↓@␈␈p∨␈@↓ ␈␈p∨␈@↓`␈␈p∨␈@↓@␈␈p∨␈@↓`␈␈p∨␈ ↓ ␈␈p∨␈ ↓↓␈␈p∨␈ ↓`␈␈p∨␈ ↓↓␈␈p∨␈ ↓@␈␈p∨␈ ↓↓␈␈p∨␈ ↓`␈␈p∨␈ ↓↓␈␈p∨␈↓ ␈␈p∨␈↓↓ ␈␈p∨␈↓↓␈␈p∨␈↓↓ ␈␈p∨␈↓`␈␈p∨␈↓↓ ␈␈p∨␈↓↓␈␈p∨␈↓↓ ␈␈p∨␈↓@␈␈p∨␈↓↓ ␈␈p∨␈↓↓␈␈p∨␈↓↓ ␈␈p∨␈↓`␈␈p∨␈↓↓ ␈␈p∨␈↓↓␈␈p∨␈↓↓ ␈␈p∨}`↓ ␈␈p∨}`↓↓@␈␈p∨}`↓↓ ␈␈p∨}`↓↓@␈␈p∨}`↓↓␈␈p∨}`↓↓@␈␈p∨}`↓↓ ␈␈p∨}`↓↓@␈␈p∨}`↓`␈␈p∨}`↓↓@␈␈p∨}`↓↓ ␈␈p∨}`↓↓@␈␈p∨}`↓↓␈␈p∨}`↓↓@␈␈p∨}`↓↓ ␈␈p∨}`↓↓@␈␈p∨}`↓@␈␈p∨}`↓↓@␈␈p∨}`↓↓ ␈␈p∨}`↓↓@␈␈p∨}`↓↓␈␈p∨}`↓↓@␈␈p∨}`↓↓ ␈␈p∨}`↓↓@␈␈p∨}`↓`␈␈p∨}`↓↓@␈␈p∨}`↓↓ ␈␈p∨}`↓↓@␈␈p∨}`↓↓␈␈p∨}`↓↓@␈␈p∨}`↓↓ ␈␈p∨}`↓↓@␈␈p∨}@↓ ␈␈p∨}@↓@␈␈p∨}@↓`␈␈p∨}@↓↓␈␈p∨}@↓↓ ␈␈p∨}@↓↓@␈␈p∨}@↓↓`␈␈p∨} ↓ ␈␈p∨} ↓@␈␈p∨} ↓`␈␈p∨} ↓↓␈␈p∨} ↓↓ ␈␈p∨} ↓↓@␈␈p∨} ↓↓`␈␈p∨} ↓α␈␈p∨}↓ ␈␈p∨}↓@␈␈p∨}↓`␈␈p∨}↓↓␈␈p∨}↓↓ ␈␈p∨}↓↓@␈␈p∨}↓↓`␈␈p∨}↓α␈␈p∨}↓α ␈␈p∨⎇`↓ ␈␈p∨⎇`↓@␈␈p∨⎇`↓`␈␈p∨⎇`↓↓␈␈p∨⎇`↓↓ ␈␈p∨⎇`↓↓@␈␈p∨⎇`↓↓`␈␈p∨⎇`↓α␈␈p∨⎇`↓α ␈␈p∨⎇`↓α@␈␈p∨⎇@↓ ␈␈p∨⎇@↓@␈␈p∨⎇@↓`␈␈p∨⎇@↓↓␈␈p∨⎇@↓↓ ␈␈p∨⎇@↓↓@␈␈p∨⎇@↓↓`␈␈p∨⎇@↓α␈␈p∨⎇@↓α ␈␈p∨⎇@↓α@␈␈p∨⎇@↓α`␈␈p∨⎇ ↓ ␈␈p∨⎇ ↓@␈␈p∨⎇ ↓`␈␈p∨⎇ ↓↓␈␈p∨⎇ ↓↓ ␈␈p∨⎇ ↓↓@␈␈p∨⎇ ↓↓`␈␈p∨⎇ ↓α␈␈p∨⎇ ↓α ␈␈p∨⎇ ↓α@␈␈p∨⎇ ↓α`␈␈p∨⎇ ↓β↓␈␈h∨⎇ αββ␈␈H∨⎇ ∧β∂0⊂⊂ ⊂@⊂`⊃⊃0⊃P∩∩ ∩P∪∪0∪P∀∀0∀`∃∃0∃`⊗⊂⊗@⊗p↔ ↔P↔p_ _P→→0→`~⊂~@~`≠ ≠P≤⊂≤@≥≥0≥p≡ ≡`∨⊂∨P  @ p!0!P"⊂"@##0#p$ $`%⊂%P&&@&p'0'`( (@(`)⊂)@)p*0*p+⊂+0+`,⊂,@--@.. .@.p/ /P0⊂0P1⊂1`22 2P3303p404p5@6⊂606P7707`8 8`9 9p:@; ;@;`<⊂<@<p=0=p>0??P@0A⊂BP␈⎇@H∨G⎇␈x␈␈␈␈x␈␈oxx`␈␈_∧d␈␈_∧d␈}_&3⊂␈␈_∧d␈⎇_α!→H␈}_&3⊂␈⎇_α3→HH␈␈_∧d␈|_∩HHα ␈⎇_α!→H␈|_∩	HH& ␈}_&3⊂␈|_∪⊂HLB ␈⎇_α3→HH␈|_∪→HLf ␈␈_∧d␈{_↓⊂∧d	␈|_∩HHα ␈{_↓⊂Ld↓→␈⎇_α!→H␈{_↓⊂H∧d∩	␈|_∩	HH& ␈{_↓⊂HLd∪→␈}_&3⊂␈{_↓→∧f 	␈|_∪⊂HLB ␈{_↓→Lf!→␈⎇_α3→HH␈{_↓→H∧f2	␈|_∪→HLf ␈{_↓→HLf3→␈␈_∧d␈z_	α2∧@␈{_↓⊂∧d	␈z_	&2L@␈|_∩HHα ␈z_	∧B2H∧@␈{_↓⊂Ld↓→␈z_	∧f2HL@␈⎇_α!→H␈z_	Hα2	∧@␈{_↓⊂H∧d∩	␈z_	H&2	L@␈|_∩	HH& ␈z_	LB2	H∧@␈{_↓⊂HLd∪→␈z_	Lf2	HL@␈}_&3⊂␈z_	Hα3⊂∧@␈{_↓→∧f 	␈z_	H&3⊂L@␈|_∪⊂HLB ␈z_	H∧B3⊂H∧@␈{_↓→Lf!→␈z_	H∧f3⊂HL@␈⎇_α3→HH␈z_	HHα3→∧@␈{_↓→H∧f2	␈z_	HH&3→L@␈|_∪→HLf ␈z_	HLB3→H∧@␈{_↓→HLf3→␈z_	HLf3→HL@␈␈_∧d␈}_&3⊂␈⎇_α3→HH␈|_∪→HLf ␈{_↓→HLf3→␈z_	HLf3→HL@␈y_HLf3→HLf2␈␈_∧d␈}_&3⊂␈⎇_α3→HH␈|_∪→HLf ␈{_↓→HLf3→␈z_	HLf3→HL@␈y_HLf3→HLf2␈x_Lf3→HLf3→H␈␈_∧d␈}_&3⊂␈⎇_α3→HH␈|_∪→HLf ␈{_↓→HLf3→␈z_	HLf3→HL@␈y_HLf3→HLf2␈x_Lf3→HLf3→H␈w_∧f3→HLf3→HLd␈␈_∧d␈}_&3⊂␈⎇_α3→HH␈|_∪→HLf ␈{_↓→HLf3→␈z_	HLf3→HL@␈y_HLf3→HLf2␈x_Lf3→HLf3→H␈w_∧f3→HLf3→HLd␈v_&3→HLf3→HLf3⊂␈␈_∧d␈}_&3⊂␈⎇_α3→HH␈|_∪→HLf ␈{_↓→HLf3→␈z_	HLf3→HL@␈y_HLf3→HLf2␈x_Lf3→HLf3→H␈w_∧f3→HLf3→HLd␈v_&3→HLf3→HLf3⊂␈u_α3→HLf3→HLf3→HH␈␈_∧d␈}_&3⊂␈⎇_α3→HH␈|_∪→HLf ␈{_↓→HLf3→␈z_	HLf3→HL@␈y_HLf3→HLf2␈x_Lf3→HLf3→H␈w_∧f3→HLf3→HLd␈v_&3→HLf3→HLf3⊂␈u_α3→HLf3→HLf3→HH␈t_∪→HLf3→HLf3→HLf ␈t8∪→HLf3→HLf3→HLf ∪→HLf3→HLf3→HLf ␈tx∪→HLf3→HLf3→HLf ∪→HLf3→HLf3→HLf ∪→HLf3→HLf3→HLf ∪→HLf3→HLf3→HLf